On the "Smith is Huq" Condition in S-Protomodular Categories
نویسندگان
چکیده
We study the so-called “Smith is Huq” condition in the context of Sprotomodular categories: two S-equivalence relations centralise each other if and only if their normalisations commute. We prove that this condition is satisfied by every category of monoids with operations equipped with the class S of Schreier split epimorphisms. Some consequences in terms of characterisation of internal structures are explored.
منابع مشابه
Further Remarks on the "Smith is Huq" Condition
We compare the Smith is Huq condition (SH) with three commutator conditions in semi-abelian categories: first an apparently weaker condition which arose in joint work with Bourn and turns out to be equivalent with (SH), then an apparently equivalent condition which takes commutation of non-normal subobjects into account and turns out to be stronger than (SH). This leads to the even stronger con...
متن کاملOn some categorical-algebraic conditions in S-protomodular categories
In the context of semi-abelian categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence. The recent notion of S-protomodular categories, whose main examples are the category of monoids and, more generally, categories of monoids with operations and Jónsson-Tarski v...
متن کاملSEMI - ABELIAN MONADIC CATEGORIES Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday . MARINO GRAN AND
We characterize semi-abelian monadic categories and their localizations. These results are then used to obtain a characterization of pointed protomodular quasimonadic categories, and in particular of protomodular quasivarieties.
متن کاملSemi-abelian Exact Completions
The theory of protomodular categories provides a simple and general context in which the basic theorems needed in homological algebra of groups, rings, Lie algebras and other non-abelian structures can be proved [2] [3] [4] [5] [6] [7] [9] [20]. An interesting aspect of the theory comes from the fact that there is a natural intrinsic notion of normal monomorphism [4]. Since any internal reflexi...
متن کاملAction Groupoid in Protomodular Categories
We give here some examples of non pointed protomodular categories C satisfying a property similar to the property of representation of actions which holds for the pointed protomodular category Gp of groups: any slice category of Gp, any category of groupoids with a fixed set of objects, any essentially affine category. This property gives rise to an internal construction of the center of any ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Applied Categorical Structures
دوره 25 شماره
صفحات -
تاریخ انتشار 2017